location |
trace |
/var/opt/lsb/test/olver-core/2013-01-21_10-20-40/util_float_scenario.utz (util_float_scenario.utt), line 18315 |
occurence |
scenario |
util_float_scenario |
specification function |
scalb_spec() |
parameter value |
CallContext context = [pid=17999,thr=b752d6c0] |
parameter value |
Unifloat * @x = (long double) 1.1897314953572317650212638530309702e+4932 (0x.FFFFFFFFFFFFFFFFP16384L) |
parameter value |
Unifloat * x = (long double) 1.1897314953572317650212638530309702e+4932 (0x.FFFFFFFFFFFFFFFFP16384L) |
parameter value |
Unifloat * @n = (long double) 2.0000000000000000000000000000000000e+00 (0x.8000000000000000P2L) |
parameter value |
Unifloat * n = (long double) 2.0000000000000000000000000000000000e+00 (0x.8000000000000000P2L) |
parameter value |
ErrorCode * @errno = EOK |
parameter value |
ErrorCode * errno = EOK |
return value |
(Unifloat *) (long double) Infinity |
coverage & branch |
C x is non-zero, n - finite value |
properties |
REQ failed |
scalbl.14.02.01 |
kind |
POSTCONDITION_FAILED |